Miền V được bao quanh bằng một mặt S=∂V với chuẩn của mặt là n.

giả sử V là tập con của Rn (nghĩ đến n = 3) làm một mặt compact và có biên là một hàm trơn gián đoạn. Nếu F là một trường vectơ khả vi liên tục được định nghĩa trên một vùng xung quanh V, thì ta có

∭ V ( ∇ ⋅ F ) d V = ∬ ∂ V F ⋅ d S , {\displaystyle \iiint \limits _{V}\left(\nabla \cdot \mathbf {F} \right){\mbox{d}}V=\iint \limits _{\partial V}\mathbf {F} \cdot {\mbox{d}}\mathbf {S} ,}

vế trái thường được viết như là tích phân thể tích bên trong một quả cầu mà mặt cầu S of được dùng trong tích phân mặt của cùng một thể tích ở phía bên phải

∫ V div ⁡ F → d V = ∮ S ⁡ F → ⋅ d S → {\displaystyle \int _{V}\operatorname {div} {\vec {F}}\;\mathrm {d} V=\oint _{S}{\vec {F}}\cdot \mathrm {d} {\vec {S}}}

(với d S → = n → d S {\displaystyle \mathrm {d} {\vec {S}}={\vec {n}}\;\mathrm {d} S} ).

với ∂V là biên của V định hướng bằng vecto mặt chuẩn đơn vị hướng ra ngoài, và dS là viết tắt cho ndS, vecto chuẩn hướng hướng ra ngoài của biên ∂V.

Vế trái biểu diễn tổng các nguồn trong thể tích V, và vế phải biểu diễn tổng các dòng chảyqua biên ∂V.

Định lý thường được áp dụng với dạng khác như sau (xem thêm các hằng đẳng thức vectơ):

∭ V F ⋅ ( ∇ g ) + g ( ∇ ⋅ F ) d V = ∬ ∂ V g F ⋅ d S {\displaystyle \iiint \limits _{V}\mathbf {F} \cdot \left(\nabla g\right)+g\left(\nabla \cdot \mathbf {F} \right){\mbox{d}}V=\iint \limits _{\partial V}g\mathbf {F} \cdot {\mbox{d}}\mathbf {S} }

(this is the basis for Green's identities, if F = ∇ f {\displaystyle \mathbf {F} =\nabla f} ),

∭ V ∇ g d V = ∬ ∂ V g d S , {\displaystyle \iiint \limits _{V}\nabla g{\mbox{d}}V=\iint \limits _{\partial V}g{\mbox{d}}\mathbf {S} ,} ∭ V G ⋅ ( ∇ × F ) − F ⋅ ( ∇ × G ) d V = ∬ ∂ V ( F × G ) ⋅ d S , {\displaystyle \iiint \limits _{V}\mathbf {G} \cdot \left(\nabla \times \mathbf {F} \right)-\mathbf {F} \cdot \left(\nabla \times \mathbf {G} \right){\mbox{d}}V=\iint \limits _{\partial V}\left(\mathbf {F} \times \mathbf {G} \right)\cdot {\mbox{d}}\mathbf {S} ,} ∭ V ∇ × F d V = ∬ ∂ V d S × F . {\displaystyle \iiint \limits _{V}\nabla \times \mathbf {F} {\mbox{d}}V=\iint \limits _{\partial V}{\mbox{d}}\mathbf {S} \times \mathbf {F} .}

Chú ý là định lý tiêu tán chỉ là một trường hợp của định lý Stokes tổng quát hơn, một định lý tổng quát hóa của định lý cơ sở của vi tích phân.